Asynchronous Process Calculi for Specification and Verification of Information Hiding Protocols

iii La Nature est un temple o` u de vivants piliers Laissent parfois sortir de confuses paroles ; L'homme y passè a travers des forêts de symboles Qui l'observent avec des regards familiers. Comme de longséchos qui de loin se confondent Dans une ténébreuse et profonde unité, Vaste comme la nuit et comme la clarté, Les parfums, les couleurs et les sons se répondent.